bitkeeper revision 1.1159.260.2 (420e0856crqXXEkQoCUddas8u5ksXA)
authormafetter@fleming.research <mafetter@fleming.research>
Sat, 12 Feb 2005 13:44:54 +0000 (13:44 +0000)
committermafetter@fleming.research <mafetter@fleming.research>
Sat, 12 Feb 2005 13:44:54 +0000 (13:44 +0000)
commit50170099899745d7bfaedc6a25901f2561b46bc1
tree68471f144d05d286871c328360c5187ed92c65bc
parentb5a0388318fa6d23425f64ae0f0779d96dce7295
bitkeeper revision 1.1159.260.2 (420e0856crqXXEkQoCUddas8u5ksXA)

Rename check_pagetable() function to _check_pagetable to make it easier
to selectively enable it during debugging.  There's still the same
check_pagetable macro, but now it's used both when SHADOW_DEBUG is
enabled and disabled.
xen/arch/x86/shadow.c
xen/include/asm-x86/shadow.h